package pl.edu.mimuw.irs.core.model.analysis.atomic;

import pl.edu.mimuw.irs.core.global.IDManager;
import pl.edu.mimuw.irs.core.model.design.net.IRSRequirement;
import pl.edu.mimuw.irs.core.model.petrinet.Place;
import pl.edu.mimuw.irs.core.util.Position;

public class ActivityPlace extends Place {

	private static final long serialVersionUID = -1191361970996518491L;
	
	// *** Attributes
	
	private IRSRequirement requirement;
	public IRSRequirement getRequirement() {
		return requirement;
	}
	
	// *** Constructors
	
	public ActivityPlace(IDManager idManager, String id, 
			Position position, int tokens, IRSRequirement requirement) {
		super(idManager, id, position, tokens);
		this.requirement = requirement;
	}
	
	// *** Methods
}
